Set theory - PDFSEARCH.IO - Document Search Engine

Set theory
Results: 2815

#	Item
861	Push-forth: a Light-weight, Strongly-typed, Stack-based Genetic Programming Language Maarten Keijzer Pegasystems Inc. Claude Debussylaan 20b Add to Reading List Source URL: www.lri.fr Language: English - Date: 2013-06-10 05:43:22 Data types Type theory Stack-oriented programming language Eval Forth Stack Joy Subroutine Instruction set Computing Software engineering Computer programming
862	When Trees Grow Low: Shrubs and Fast MSO1 Robert Ganian1 , Petr Hlinˇen´ y2 , Jaroslav Neˇsetˇril3 , Jan Obdrˇz´alek2 , Patrice Ossona de Mendez4 , and Reshma Ramadurai2 1 Add to Reading List Source URL: www.fi.muni.cz Language: English - Date: 2012-06-17 02:27:41 NP-complete problems Cograph Tree decomposition Clique Graph Tree Minor Cycle rank Path decomposition Graph theory Graph operations Graph coloring
863	Distributed Computing FS 2012 Prof. R. Wattenhofer Stephan Holzer Add to Reading List Source URL: dcg.ethz.ch Language: English - Date: 2014-09-26 08:28:47 NP-complete problems Dominating set Chernoff bound Tango tree Theoretical computer science Mathematics Computational complexity theory
864	Confluent Hasse Diagrams David Eppstein and Joseph A. Simons University of California, Irvine Goal: • Improve Readability of Hasse Diagrams Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2011-09-15 17:39:34 Structure Dedekind–MacNeille completion Hasse diagram Confluence Planar graph Dedekind cut Partially ordered set Order theory Graph theory Mathematics
865	0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 Add to Reading List Source URL: mrfellows.net Language: English - Date: 2009-09-08 08:50:37 NP-complete problems Analysis of algorithms Parameterized complexity Graph coloring Kernelization Dominating set Feedback vertex set Vertex cover Tree decomposition Theoretical computer science Graph theory Computational complexity theory
866	CCCG 2003, Halifax, Nova Scotia, August 11–13, 2003 Molecular graphs of a finite points set : a generalization of the Delaunay triangulation M. Melkemi LIRIS, Universit´e Claude Bernard Lyon 1, Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2004-01-08 18:44:36 Graph theory Computational geometry Voronoi diagram Delaunay triangulation Alpha shape Godfried Toussaint Proximity problems Molecular graph Convex hull Geometry Mathematics Triangulation
867	Comparison of Two CDS Algorithms on Random Unit Ball Graphs Jennie C. Hansen∗ Abstract This paper compares asymptotic “average case”performance of two closely related algorithms for finding small connected dominati Add to Reading List Source URL: www.siam.org Language: English - Date: 2005-07-06 08:19:04 Applied mathematics NP-complete problems Dominating set Random graph Connectivity Graph Theoretical computer science Mathematics Graph theory
868	Handout set page 18 Dealing with Uncertainty Copyright © 1993 by Peter M. Sandman. All Rights Reserved. 1. Add to Reading List Source URL: www.psandman.com Language: English - Date: 2013-04-17 10:14:40 Cognition Measurement Statistical theory Uncertainty Risk Statistics Management Ethics
869	Fast Additive Constant Approximation Algorithms for The Safe Deposit Boxes Problem with Two and Three Currencies Boaz Ben-Moshe1 1 Yefim Dinitz2 Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-28 21:26:42 Ordinal numbers Logic Ordinal arithmetic Set theory Curry–Howard correspondence Mathematical logic Proof theory Mathematics
870	Shortest Cut Graph of a Surface with Prescribed Vertex Set ´ Eric Colin de Verdi`ere⋆ ´ Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2010-06-23 07:19:49 Topological graph theory Network theory Planar graphs Algebraic graph theory Matroid theory Shortest path problem Dual graph Graph embedding Matroid Graph theory Mathematics Theoretical computer science

UPDATE